A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·10h
🎯Performance Proofs
I made a transformer by hand (no training)
vgel.me·9h·
Discuss: Hacker News
🤖Grammar Induction
iText 9.4.0 Brings LOTL Functionality for Seamless EU PDF Signature Validation
kb.itextpdf.com·1h·
Discuss: Hacker News
✅Format Verification
Document intelligence evolved: Building and evaluating KIE solutions that scale
aws.amazon.com·1d
📄Document Digitization
Adaptive and context-aware volumetric printing
nature.com·23h
📄Document Digitization
Easier Painting Than Thinking: Can Text-to-Image Models Set the Stage, but Not Direct the Play?
arxiv.org·10h
🏛Digital humanities
Sorting Isn't Simple–You're Just Seeing ASCII Order, Not Real Collation
readyset.io·1d·
Discuss: Hacker News
🔤Unicode Normalization
TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space
arxiv.org·10h
🕳️Persistent Homology
High Cursive Complex Character Recognition using GAN External Classifier
arxiv.org·10h
🤖Advanced OCR
Automated ACE Inhibitor Lead Optimization via Multi-Modal Data Fusion and HyperScore Scoring
dev.to·4h·
Discuss: DEV
🗂️Vector Search
Openscan – open-source 3D scanner
openscan.eu·2h·
Discuss: Hacker News
🏺Computational Archaeology
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·10h
💻Local LLMs
Why Rewriting Emacs Is Hard
kyo.iroiro.party·23h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📝Concrete Syntax
Show HN: I built a tool that turns cryptography papers into working Python code
paperstoapp.com·5h·
Discuss: Hacker News
🔗Hash Chains
The symbol's history traces back to 1739
typefoundry.blogspot.com·7h·
Discuss: Hacker News
🔤Font Archaeology
Automated Wildfire Damage Assessment from Multi view Ground level Imagery Via Vision Language Models
arxiv.org·1d
🤖Advanced OCR
Airbus B612 Cockpit Font
github.com·1d·
Discuss: Lobsters, Hacker News
📟Terminal Typography
Fractal Geometry as the Blueprint for Encryption
hackernoon.com·1d
🔐Homomorphic Encryption
Continuous Saudi Sign Language Recognition: A Vision Transformer Approach
arxiv.org·10h
🤖Advanced OCR
L3Cube-IndicHeadline-ID: A Dataset for Headline Identification and Semantic Evaluation in Low-Resource Indian Languages
arxiv.org·1d
💾Binary Linguistics